perm filename CHAI.360[360,GF] blob sn#882097 filedate 1990-02-13 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'∪↔ε"p_Lg#λ≠
εT_∧λ␈␈␈␈x␈␈␈␈x∀X␈␈␈z0⊂h '.(α9↑ β8a∞_∧8A.λα@@Nλα`↑αA↑α↓@MxαA@]xααMpαB]hαB@Mhαα`]`αC]`αβ@MXαC@]PαDMPα∧ ]HαD@MHα∧`]@αE]@α¬@M8αE@]0αFM0αε ](αF@](απM αG] απ@M_αG@]⊂αHM⊂αλ ]λαH@]λα	MαI\xαI@Lxα	`\pαJLpα
 \hαJ@\hαL`αK\XαK@LXα`\PαLLPα \HαL@\Hα
L@αM\8αM@L8α
`\0αN\0α∞@L(αN@\ αOL α∂ \_αO@L_α∂`\⊂αPλ(a↓λ∧⊂α0 T!↓8( ⊃Lα⊂λP(←A(∧0α/`D#A7`( ∩[pα⊂	  ↑A(∧PαoT&↓↔@  ∪ [XαP	`(]Aλ¬α.@T(↓7⊂( ∀@KHα⊂
0(\↓(¬ α.D*A6p( ∃@[8α⊂ [↓(¬@αm T-↓⊗P  ⊗`[ αP@ Z↓λ¬hαl`T/↓60  _K⊂αP(%⊂ ∀`%P ∀X%P ∀P&⊂ ∀H&∂αD|∪'!( =ic@
P∨∧p≤¬λ∂@'MBT|∪fa  >
β 
P∨¬~¬λ∂@(LBT{TF↓( >
#
⊂∨¬_↔¬(∂@)KBD|∃A 

αT2Aπq(*Aα! ∀¬(ε0αO"e(α∧BB8⊂p ≡E*` 묬↓( ~SX
U@Px
	bd4A'⊃0+A↓a ∀¬(εXα∞"U8αC"B8
P
@(≠EK 嬬↓( ≠ C8
V @P

αT7↓&Q(,A↓! ∪EHεxα
αePαααB@
P∞(→E+ (βE∧q( ≤@Sλ⊗`@0

αT9Aε⊃(-A Q ∪E(π αKbe`α↓αB8⊂∞P ↔E+P ↓¬¬↓( ≥@Rh
W Pλ
	bd;A¬A0/ε¬↓( ≡RX
WCα8
P∂ (∀EKq0∀¬(πXα
"Ux	bT>↓$q00¬∧q0 ∨ B8
X""@
P∂`(∩E,⊃⊂∪EHπxαHbf⊂λ
αT@A∧1(1∧∧q(  @Rλ_ab@
P⊂0 ⊂E,@`∀¬(λ αGbV ε	bdBAβa02BE↓( !@Qh
Y!"8
P⊃(
EL`@∀¬(λHαεbV0∧	bTE↓#⊃03ADq0 "`AH
ZB@
P⊃@(E-(∪¬Hλhα¬BfHα	BTG↓"Q(4A$A( $Q_~@B 
P∩⊂ 	E- (⊃¬(	⊂αD"fXαλ"dIAα⊃(6↓∧↓( %Px
[Qp⊂∩P(εEMP ∂¬(	8αβ"VhαGαTL↓!107↓βA( & @X
[@QP
P∪ (∧E-p EH	Xαα"WαεαTN↓ q(8↓"a0 ' P(≤ A0
P∪p αE.⊂(
¬(
α@bg⊂α∧bdPA1(9Aα!( (@Pλ
\`Aλ⊂∀1P:↓α↓( )β↔ αCBTSε∞P π¬(
8≥ P`
P∃↓0;↓↓10 *αW8ααBTT¬.p(∧¬H
8≡@@
P∃↓(<↓ a( *αgHα↓BTT¬/⊂(α¬(
@
↑@@_⊂∃↓(=A!( *αWX
P∀q0>ε(
@
←β∧T¬OQ8 *αWp
P∃↓(>EH
@
←"TT¬oA0 )c↔`
P∃↓H=E(
@
↑BdT¬   =¬(
@
@`WH⊂∀q0α↓∂⊃( *αP(α↑αTT¬@`(<¬(
@
BG8
P∃↓(∧A.a0 *αPPα≥BTT¬!0(:EH
8βW(⊂∀q(π↓∞A@ )"`pα\c∀RE" 9FH
_
D W⊂ DQE"  9¬  ( ("Q_α\"`_αP∪q0
↓.⊃(αAλ	x
E@G
A@TNEB`(7E@p  '"Q@α≠bP@αP∪1(A-a0∧A(	P
F@Fp
B`DLE#0(6EA0( %ba`α["Phα⊂∩q(∂↓
A(π↓(	(π@VXβ`DJE$ 5E"( $bRλαZBaλαP∩⊃0⊃↓-!(	Aλ	λ
IFH
ETGED@(4E"P  #bR0α~αQ0αP⊃Q(∪A,q0Aλλh
JF8
FTEE%⊂(3¬C⊂( ""bPαYBQXα⊂⊃⊃(⊗↓Q(∞↓(λ8V π DCE%` 2¬#`( !"RxαXbaxαP⊂A(_↓1(⊂Aλλ_
L V⊂λ T@EF (1¬$0   "S α_"R αP∂q0~↓,↓0∩Aλπx
M@F
I@T>E&p(/EDp( ≡bc@αWbRHα⊂∂1(≥↓a(∃↓(πH∞@Up
J`D<E'@ .E%@( ≥bShαWαbhα⊂∞q(∨↓A(↔↓(π(
O`UX`T9EH∧αVbSλα⊂∞1( ⊂@EP
L@T8EH∧⊂αV"c_α⊂∞⊃( ⊃EH
MT7E(∧(αVαc(αP
a( ⊃@E@
M`D6E(∧8αUbc8αP
10 ∩U8
N D5E(∧Pα∃BSPαP
⊃0 ∩@U(∞`D4E(∧`α∃"S`αPq( ∪ U ∂ T3¬(∧pαUαSxα⊂Q( ∀E_∂`T1EH¬αTbT Aλε_
P
  )¬(∧⊂αP⊃( ∀`Uλ⊂λ0  _"T*↓
⊃( ⊃T/E(¬(αTαd"A(¬h⊂
`((¬(∧8α⊂Q( ⊗Dx
P	( ⊗bd,↓)a0 ∩ D-E(¬Pα∪BT%↓(¬H
P0(&EH∧XαP↓( ↔Dh
P	P  ∃bT.A)A0 ∪ T*EH¬pαSλ⊂λ≠∩h⊂λ≤∩h⊂λ≤∩h⊂λ≠l@T0↓60  _K_αP`(Z↓λ¬hαmT.↓⊗P  ⊗`[(αP  [↓(¬@αm`D,↓⊗p( ∃@[@α⊂
P(\↓(¬ α. D)A7⊂( ∀@KPαP
(]Aλ¬α.`T'↓7@  ∪ [`αP	@ ↑A(∧Pαo@D%↓↔`( ∩[xα⊂λp(←A(∧0α0D"A8( ⊃LλαPλ (a↓λ∧⊂α0@T ↓80 ∨A80(∨↓_@ ≡A8@(≡↓_P(≥↓8` ≥↓_`(≤↓8p ≠A8p(≠↓→(~↓9⊂ ~↓→⊂(→↓9  _A9 (_↓→0 ↔A90(↔↓→@(⊗↓9P ⊗↓→P(∃↓9` ∀A9`(∀↓→p ∪A9p(∪↓~(∩↓:⊂ ∩↓~⊂(⊃↓:  ⊂A: (⊂↓~0(∂↓:@ ∂↓~@(∞↓:P ∞↓~P(
↓:` A:`(↓~p(↓; ↓≠(
↓;⊂ 	A;⊂(	↓≠  λA; (λ↓≠0(π↓;@ π↓≠@(ε↓;P ¬A;P(¬↓≠`(∧↓;p ∧↓≠p(β↓< β↓≤(α↓<⊂ ↓A<⊂(↓↓≤ PqB≤0@r↓\@(rA≤`⊂"P`⊂←␈x␈␈␈␈x␈␈`J←␈x␈k`<Hλhu@=(αum βta
_α M⊂α@]λα@`Mλα↓ Mα↓@Mα↓`LxααLxαα Lpαα@\hαB`Lhαβ L`αβ@L`αβ`LXα∧LXα∧ LPα∧@\HαD`LHα¬ L@α¬@L@α¬`L8αε\0αF L0αε`L(απL(απ L απ@L απ`L_αλ\⊂αH L⊂αλ`Lλα	Lλα	 Lα	@Lα	`Kxα
[pαJ Kpα
`KhαKhα K`α@[XαK`KXα KPα@KPα`KHα
KHα
 K@α
@[8αM`K8α∞ K0α∞@K0α∞`K(α∂K(α∂ K α∂@[_αO`K_α⊂λ⊂ Y↓λ∧⊂α,@D!A⊗⊂  ⊃[αPλP X↓λ∧8α+`D$↓∃p  ∩ Jpα⊂	  W↓λ∧Xα+ D&↓5@( ∪ J`α⊂	p UAλ¬α*`D(A∃   ∀@JPα⊂
0 TAλ¬ αjT*A∃  ∃`DP @%4X @%$X @%∀` @%∧h~DH
x&Mα$p∪F!_ 7ic⊂	⊂≠tx_∧h
x'Lα$oT¬a_ 7j∩h	⊂≠uλ⊗∧H
x)
B4oTE!⊂ 7j2@	P≠u_α∧B"_	P0(≠Dj@ λ∧D1_ ↔ C0
∃ @p		α4/↓εQ_*A↓a⊂⊃Dh¬xα
αE0αβα" 	P →Dj` ε∧D1_ _ Sλ	U`@P	λbD1↓ε⊃_,↓↓⊃⊂⊃Dhε αb5@ααα"_	PP ↔¬⊂ β∧DA_ →@Bh	V @0	λb43A¬A_-↓A⊂∩∧hε@α
b5Pα↓α"_	P
⊂(∀Dk0 ↓∧D1_ ~`BH	W@λ	λb46↓∧q_.¬D1_ ≠ B0
↔"B 	P
` ∩DkQ ⊃Dhεxα	α5p		α48↓∧1_/∧D1_ ≤ Rλ	Wbα_	P∞0 ⊂Dlx⊃Dhπ απb6πλb4:Aβa 0C∧A_ ≥@Ah	X!B_	P∞p(
Dl P⊃Eλπ@αεb6⊂¬λb4=↓β⊃_1B∧1_ ≡`A@
→b 	P∂@ Dl@0⊃Dhπhα¬B6(α	α4?↓αQ_2A∧1_ ∨`Q_	Y@Bλ
⊂⊂ 	Dlp ⊂∧hλ⊂α∧"68απb4AAα↓ 4↓βa_ !@x	ZAh	P⊂P π∧m⊂ ∞∧hλ0αβ"6Hαεb4CA!1_5↓β⊃_ " @X	Z`A@	P⊃  ∧Dm0 DhλXαααF`α¬B4F↓q_6↓αQ_ # P(	[ A_
⊂⊃` αDmP(	∧h	αb6pα∧"4HA1_7Aα↓_ $@@λ	[`@x	P∩1@8↓↓a_ %αgαβ"4JE.⊂ ¬Eλ	0
≤ PP	P∩q_9↓↓⊃_ %bG_ααα4KDn0 βDh	8	]@0	P∩q_:↓Q_ %b7(αbDKDn` ↓∧h	8	]@@λ	P∩q ;Eh	8	]bdKDo↓( %b7@
⊂∩q_<∧h	@	↑α4KE.q_ %bg8	P∩q8;∧h	8	@ W(
⊂∩q_↓↓∞Q_ %b0 α≥α4KE@ :∧h	8	A@G_	P∩q_βA∞1_ %b0@α≤B4KDa⊂(8Eλ	8	B@Gλ
⊂∩a_ε↓∞↓( %"@`α≤αdJ∧a` 7Eh	_	C`Vx	@ DI∧b 7∧`   $"1⊂α≠"@_α⊂∩↓_	↓
Q_α↓(λp	EF`	A@DFEα@ 6∧`p  #α10α~b0@α⊂⊃1_A-! ∧AλλP	FFP	B@TD∧c  4Da@  "α1Pα~"0hα⊂⊂a_∞↓
↓_π↓λλ(	G F@	C`DB∧c` 3Db   b1xαYBAλα⊂⊂!_⊂↓a_	↓(λ	H@F(	ED?E∧  2DbP  ∨B2 α→α10α⊂∂Q_∩AA_Aλπ`	I@F_	FD=Ddp(1¬β⊂  ≡B2@α_B1PαP∂↓_∃↓⊃_∞↓λπ8

@Fλ	G D;∧e@ 0∧c`  ≥"2hαWbAxα⊂∞A_↔↓q_⊂↓(π⊂	LEp	H@D9∧f /∧d0  ≤α3⊂α↔"2 α⊂
q_→AQ_∩Aλεp	ME`	I@D6DfP(-E∧p  ≠α30α⊗b2@αP
!_≤↓!_∃↓λεP	NEP	J`D4∧g  ,De@  →b3Xα⊗"2hα⊂a_≡↓↓_↔↓λε(	O U8
`D2∧g` +Df( _B4 ↓
a_→↓λελ
⊂λ +∧f0  _α4!↓
Q_~↓λ¬x	Pλ0(*¬εP  ↔B4"↓
A_≠↓(¬`	Pλ` )Eεp  ↔α4#↓
1_≤Aλ¬P	P	 )∧g   ⊗"4$A
!_≥Aλ¬@	P	  (Dg@  ∃b4%A*↓ ≡Aλ¬0	P	@ (∧g`( ∃α4'↓	q_ ⊂D*∧h∧pα∪b4 Aλ¬⊂	P
 '∧h∧⊂α⊂
⊃_ ∀ Dp	Pλ0  ∀α4)↓	Q_ ⊃D'Dh¬_αSαD"Aλ∧p	P
@ &⊂ ⊃8%P ⊃@%P ⊃@%P ⊃8T↓λ¬8α*T*A∃⊂  ∃ZPα⊂
0 U↓λ¬⊂α*`D(A∃0  ∀J`α⊂	p V↓(∧hα+ D&↓5`  ∩`Jpα⊂	  WAλ∧Hα+`D$↓⊗  ⊃`KαPλP XAλ∧ αl@D!A⊗   ⊂@K_α⊂λ⊂ YA'p Z↓π`(ZAπP ZAπ@ [↓π0 [↓π  [Aπ⊂ [A&p \↓ε`(\AεP \Aε@ ]↓ε0 ]↓ε  ]Aε⊂ ]A%p ↑↓¬`(↑A¬P ↑A¬@ ←↓¬0 ←↓%⊂ ←A¬(`↓∧p `↓∧` `A∧P `A∧@ a↓∧0 a↓$⊂ aA∧(b↓βp b↓β` bAβP bAβ@ c↓β0 c↓#⊂ cAβ(d↓αp d↓α` dAαP dA"0 e↓α (eAα⊂ eAα f↓↓p f↓↓` fA↓P fA!0 g↓↓ (gA↓⊂ gA↓ h↓p h↓` hAP hA 0 i↓ (iA⊂ iB~@8j↓ZP(kzpλ"P`⊂␈␈x␈␈␈␈x␈␈`B?␈x␈n5hπh↓1@<(αq l βq0λα0`@⊂↓p@@_α0@0(α0 @0↓p 08α0@@↓p0Hα/`@P↓o@@Xα/@0hα/ @p↓o 0xα/A↓o1λα.`A⊂↓n@A_α.@1(α. A0↓n 18α.A@↓m`AHα-`1Xα-@A`↓m@1hα- Ap↓m 1xα-B↓l`Bλα,`2_α,@B ↓l@2(α, B0↓l 28α,B@↓k`BHα+`2Xα+@B`↓k@2hα+ Bp↓kBxα+3λα*`C⊂↓j`3_α*@C ↓j@3(α* C0↓jC8α*3Hα)`CP↓i`3Xα)@C`↓i@3hα) Cp↓iCxα)4 A∀0  ⊂@:_↓Pλ0 Q↓λ∧ ↓h D"A∀⊂_ ⊃`Jα⊂	_Ph∧Hα'`D%sp_ ∩`Ipα⊂	@_NAλ∧hα∩H⊂λ¬∩h⊂λ∧Sλ⊂λβS¬qλ 1IRpλP_dh⊗D(0'α∧cSE1λ 1IrHλP_u∀∧(0(	b∀c∀$aλ 1J∩(λP_e⊂∩∧λ8)↓↓q⊂∧(¬λα"∃_↓CBαλP
0__∧J@_εD∧↓λ ∀`BxλU@Xλλα∀*@eaλ*@a1∂D(¬0α"∃(αα"αλP
p ∃D*`_∧Dβqλ ⊗ 2XλU@@8λλα∀,A¬⊃λ+@`a⊂∧(¬X↓Jα%@↓A"αλP0 ∪D+ ↓D∧↓λ ↔ 20λV 0_λπb∀/↓∧Qλ,A⊃⊂∧(¬xαλb∃P	Hα∀0@d1λ-DD↓λ _ BλλVb∩λP0_⊂∧KA∂DHε_απb∃`πHα∀2@caλ.CCqλ →@AhλW!RλPp 
D+`X⊂∧(εH↓FB%x¬λα∀4Aβ⊃λ/B$↓λ ~`1@λX↓↓xλP
@ D,8⊂∧(εhα¬"⊗λβπb∀7@bQλ0A$↓λ ≠`A_λX@2λP∞⊂_	∧L0_∂D(πλα∧"⊗_απ"∀9@b↓λ2cAλ ≥@xλYAXλP∞P εD,P_
∧(π8↓C"⊗(αε"∀;A↓1λ3c↓λ ≡ 0P	→`18λP∂⊂ ∧D,p 
D(πX↓Bα⊗@↓Eα∀>↓qλ4↓α1λ ∨ @(λZ 1⊂λP∂p_αD- _λD(πxαb⊗Pαβb∀@@`!λ5@aa⊂   @λλZ`@hλP⊂1 6aAλ !"6`ααb∀BDMP_¬∧(λ0	≠@0HλP⊂aλ7↓qλ !B⊗x↓AB∀CD-p αD(λ0λ\0 λP⊂qλ8↓1λ !B↔λ↓@B∀C∧N _D(λ0λ\BDC∧.1⊂ !b↔_	⊂⊂aλ9D(λ8λ\b∀C∧n!λ !BGλ	⊂⊂a(8D(λ0λ@@GλP⊂qλ↓@n↓λ !B⊂ α≠b∀CD P_7D(λ0λA@FpλP⊂aλ∧mQ⊂ !B⊂@α≠"∀C∧!  6∧Hλ0λB`6`	P⊂Aλε↓
1   b h↓ZbTA∧!` 5∧     α⊃↓Z"⊂ ↓P⊂↓λλ↓
⊃λα↓λπpλD@F@λA@4?∧"0_4∧ `  ∨α⊃ α→b⊂@α⊂∂!λla⊂∧@hπPλE@F0λB@D<∧# 2D!@_ ≡α⊃H↓Y"⊂`α⊂∞aλ
↓Aλπhπ0λF`6 λC@D:∧#@ 1D"  ≤B⊃p↓XB!λ↓P∞!λ∂↓!λ	↓λπλHFλλE48∧$⊂_0D"@  ≠B∩⊂α_α⊃0↓P
aλ⊃@l↓λ↓λε`λIExλFD5∧$`_/∧# _ ~B∩0α↔B⊃Pα⊂
↓λ∀↓Qλ∞hε@λJ 5hλGD3∧%  .∧#`_ →"∩`↓Vb!pα⊂Aλ⊗↓1λ⊂↓λε⊂λK@EPλH@41∧%p_-∧$   _α∪α⊗"∩ ↓P↓λ_@k⊃λ∩↓λ¬pλL@E@λI@D.∧&@_+DDp_ ↔α∪ α∃b∩@α⊂!λ≠↓
aλ∃h¬PλM`50λJ@D,∧' *D%@_ ⊗α∪H↓U"∩`α⊂
aλ≥↓
Aλ↔↓λ¬ λO5_	`4*∧'@ )D&  ∀B∪pα∀B∪⊂↓P
!λ∨@j!λ→↓λ¬λPλ (D&@_ ∪b$ @j↓⊂~↓λ∧pλPλ  (∧&`  ∪α∀"iqλ≤h∧`λPλ@ 'D'  ∩B∀#↓	aλ≥h∧PλPλp_'∧'   ∩α∀$↓	Qλ≡↓λ∧0λP	 _&∧GP_ ⊃B∀%↓	Aλ∨↓λ∧ λP	@ %P∨∀X >)4|g D&A∪`  ∪9x↓P	0 OAλ∧P↓h4$A∀  ∩:λ↓Pλp PAλ∧(α(@D"t0_ ⊂`J_α⊂λ _Rh∧λα)Cxα) Cp↓i@3hα)@C`↓i`3Xα)`CP↓j3Hα*C8α* C0↓j@3(α*@C ↓j`3_α*`C⊂↓k3λα+Bxα+ Bp↓k@2hα+@B`↓k`2Xα+`BHα,B@↓l 28α, B0↓l@2(α,@B ↓l`2_α,`Bλα-B↓m 1xα- Ap↓m@1hα-@A`↓m`1Xα-`AHα.A@↓n 18α. A0↓n@1(α.@A_α.`A⊂↓o1λα/A↓o 0xα/ @p↓o@0hα/@@Xα/`@P↓p0Hα0@@↓p 08α0 @0↓p@0(α0@@_α0`@⊂↓q0λα1|(β1 \0↓q`$("⊃≥≡@⎇oλεh↓-@K0α- k(βm@λ↓l`@⊂α,`0 ↓l@@ α,@00α, @8↓l 0@α,@H↓k`@Pα+`0`↓k@@`α+@0pα+ @x↓kAα+1⊂↓j`A⊂α*`1 ↓j@A α*@10α* A8↓jA@α*1P↓i`APα)`1`α)@Ah↓i@1pα) Ax↓iBα)2⊂↓h`B⊂α(`2 α(@B(↓h@20α( B8↓hB@α(2P↓g`BPα'`2`α'@Bh↓g Bpα' 3↓gCα'3⊂α&`C_↓f`3 α&@C(↓f C0α& 3@↓fC@α&3Pα%`CX↓e`3`α%@Ch↓e Cpα% 4 r@  ⊂I ↓Pλ  IAλ∧_↓RH∞H%P≤t` 9IBHπP∃Th∀βH
p&IatVSD`p +)r π⊂∃dx⊃Ch
h(λAdW∀∧⊂x +*∩π⊂∃eλαβ!a`πPλ` ∃Cj _εCC0x ∩2Pλ∀`0Xπεat$A¬⊂x)@a p∞βh∧P↓J↓u ↓B!aXπP	0 ∪Cj@ βCC@x ∪B(πU 08πεat'dPx*APp
Ch∧xαλau0↓A!aXπP
_⊃∧
p_↓CC0x ∀ BλπU`0⊂ππ↓t)↓βpx,`⊂p
Ch¬ ↓Gau@λG↓t*↓βPx,Dβ0x ∃@1hπV!qXπP
p 
Ck h∞βh¬@↓FAuXεεat,Aβ⊂x-Bc@x ⊗@A8πW↓!XπP@_Ck@H∞βh¬`α¬!uh∧εat/bA/↓C0x ↔`A_πW@Q`πP_	βkp 
Chελα∧!uxαεat1↓↓px0c x →0xπXA@λ⊂@ εCl⊂_βhε0↓Cαε⊂↓EAt3A↓0x1b`x ~@HπX`1 πP
 _∧Cl0 	ChεPα↓av ↓DAt6`px2↓αx ≠ @(πY 1πP
`_αβl`_πβhεxαav0↓CAt8↓⊂x3@a@x ≤@0λπY`@XπP∞!⊂4a x ≥α⊗@αα↓t:D
⊂_∧βhπ(πZ@00πP∞`x5↓Px ≥!vX↓A↓t;βm0 ↓∧λπ(π[0⊂πP∞Q6DHπ0π["$:Cma ≥Avpλ⊂∞Px7βhπ0π["∧:D-Px ≥"&`πP∞a_6βhπ(π@@FXπP∞`x↓@m0x ≥!p α~At;β`P_4Chπ0πA@FHπP∞Px∧m↓ ≥!p@α~α∀9Ca  3DHπ_πB`60
⊂∞⊂xε↓`x↓hπλβ 6(π@`D7Ca` 2C`@_ ≠Aq↓Y↓p(α⊂
Pxλ↓@xβ↓λεXπD@F_πB45Cb0_1∧↓  ~!q α_ApP↓P
↓
@l⊂x¬Aλε8πE@FλπC43βc 0βaP  →!qH↓X↓ppα⊂0x
↓pxλhε_πF`5pπD D0Cc@ /βb _ _↓qp↓W!q_α⊂px∂↓Px
↓λ¬hπHE`πE@4.Cd⊂_-Dα`  ⊗ar⊂α⊗aq@↓P0x⊃@k xAλ¬HπIEPπF@4,βd`_,Cc0  ∃ar0α⊗!q`α⊂
Px∀↓x∂h¬(πJ 58λπ@D)Ce  +Cd_ ∀BαX↓UArλα⊂
⊂x⊗↓
`x⊃h¬πK@E(πH`D'Cep_*Cd@  ∪!sα∃↓r0↓P	Px_@j1∪↓λ∧XπL@E_πJ4%βf@_)βe⊂  ∩!s α∀ArPα⊂λpx≠↓
⊂x⊗h∧8πM`5λD"Cg (βe`_ ⊃!sH↓Sarxα⊂λ0x≥↓	px_h∧⊂πO4pπL D Cg@ 'βf  ∨Cg` &Cf@_∨Cgp_&∧ε@ ≡Ch∧α∪↓s0↓O!t @i4m∩h
P%P≠→_α⊂λ0_Jh∧⊂α%D ↓∩P_ ⊂9(α∂@I0α∂ 98↓OI8α∞`9@↓N@I@α∞IH↓N9Hα
@IPα
 9X↓MIXα`9`↓L@I`αIh↓L9hα@Ipα 9x↓KIxα
@J↓J@:α
Jλ↓J:λα	@J⊂α	 :_↓IJ_αλ@J ↓H@: αλJ(απ`:0↓G@J0απ :8↓GJ8αε@J@↓F@:@αεJHα¬`:P↓E@JPα¬JX↓E:Xα∧@J`↓D@:`α∧Jhαβ`:p↓C@JpαβJx↓C:xαα@Kαα ;λ↓BKλα↓`;⊂↓A@K⊂α↓K_↓A;_α@K α ;(βm k0α-@K8↓⊃(D(cqzzλ ↔ *0↓i Z(↓ * ↓@ : ↓`*_↓@`:⊂↓A :⊂↓↓`*λ↓A`:λ↓α *↓B :↓α`)x↓B`9p↓C 9p↓β`)h↓C`9h↓∧ )`↓D 9`↓∧`9X↓E)P↓E 9P↓¬`)H↓E`9H↓ε )@↓F 98↓F`98↓π )0↓G 90↓π`)(↓G`9(↓λ ) ↓H 9_↓H`9_↓	 )⊂↓I 9⊂↓	`)λ↓I`9λ↓
 9↓J@(x↓J`8x↓ (p↓K 8p↓`(h↓K`8h↓ 8`↓L@(X↓L`8X↓
 (P↓M 8P↓
`(H↓M`8@↓N 8@↓∞`$P 1i$c∩d0h %)2_ε⊂∩T`⊂C(	 &λ↓TJS#p` %)ahεP∩Tp∞Cλ	('FaTJ∪`0`εε↓Ch↓I!U↓αaA@εO@" εT  Hεε↓Sx↓HaUλ↓B↓A@εPλ⊂⊃β* ⊂βCβh ⊂ 2λεT@00εε↓D!@Dh)@@P`β(∧_↓GaE_↓@aA@εPλP_∞C*@⊂↓Cβh ⊃@!`εU  λεε↓T#@c0h*Cch ∩!PεUAQ@εP	⊂_C
`hβλ∧X↓ε↓U8¬F↓T%@b`h+BCh ∪ 1(εV↓⊃@εP	`⊂
β+⊂8β(∧x↓DaUHβF↓D(@B h-↓#h ∀ 1λε⊗@Q@ε⊂
0_πC+0_β(¬ ↓βAUX↓EaT*@aPh.b`h ∃@ `εW !(εP
p_¬C+P_
βλ¬H↓αAUp↓∧aT,@a⊂`/b⊂h ⊗`08εW`!λεP@⊂ββ,⊂πC(¬h↓A!V↓CAT/@@h0@APh ↔`0_εX 0`ε⊂⊂⊂↓β, ⊂¬C(ελ↓@!F⊂↓B!T1Cl0⊂∧C(ε εY 8εPPh2``h →↓V(↓↓!T2CP_αβλε(εY@ _εP@h3`⊂h →!V8↓!T2β-p →!V@εPPh4β(ε(εYaT2Clph →↓Pλ↓→AT2C ⊂_3β(ε ε@`&(εPPh↓@lP` →!P(↓→↓T2C`_1C(ε(εA`6_εP@h∧@L x _aPH↓XB∧0C!0⊂0C  ⊂ _!@`↓X!@_↓Pphε@lhαH¬xεβ`%xεA 4.C!p_/C `⊂ ↔↓Qλ↓↔AP8↓P0hλ@k``∧@h¬HεD`%hεB@$,Cα@_.C↓0_ ∃aQ(↓W↓P`↓⊂
`h@K0hε@h¬(εE`5XεC@4)C#⊂⊂-β"⊂ ∀aQH↓VAAλ↓P
⊂h
@K⊂h	H¬λεπ5@εD`4'C#P_,β"@⊂ ∪AQx↓∃aQ(↓P	Ph∂@jphh∧XεH %0εF$%C∧ _+ββ⊂_ ∩!R_↓∃!QP↓⊂	⊂`∩j@h
@h∧8εI 5 εG$#β$p⊂)C#P_ ⊃!R8↓TaQp↓Pλ0h∀@J h⊂H∧_ε
@5⊂ελ 4 C%0_(C$ ⊂ ⊂!Bh↓∀↓R_↓OaRh↓T↓R ↓O!Rx↓∪aR0↓∂!Rx↓SaB8↓NaSλ↓∪AR@↓∞aC⊂↓S!RH↓N!S_↓S!RP↓∞↓S(↓∪↓RX↓MaS(↓S↓R`↓M!S8↓∩aRp↓
!C@↓RaBx↓LaSH↓∩HX%⊂↔8@↓∞`(@↓N 8H↓M`8P↓
`(P↓M 8X↓
 (X↓L`8`↓L@(h↓ 8h↓K`8p↓`(p↓K 8x↓ (x↓J`9↓J@)λ↓
 9λ↓I`9⊂↓	`)⊂↓I 9_↓	 )_↓H`9 ↓H 9(↓λ )(↓G`90↓π`)0↓G 98↓π )8↓F`9@↓F 9H↓ε )H↓E`9P↓¬`)P↓E 9X↓E)`↓∧`9`↓D 9h↓∧ )h↓C`9p↓β`)p↓C 9x↓B`:↓α`*↓B :λ↓α *λ↓A`:⊂↓↓`*⊂↓A :_↓@`: ↓`* ↓@ :(↓ *(αi@:8↓⊃(D0S)V80 ∪ →8↓%@I(↓ )(↓@) ↓↓) ↓↓)_↓↓@)_↓↓@)⊂↓α)λ↓α )λ↓α@)↓β)↓β(x↓β@(x↓β@(p↓∧(h↓∧ (h↓∧@(`↓¬(`↓¬(X↓¬@(X↓¬@(P↓ε(H↓ε@(H↓ε@(@↓π(@↓π(8↓π@(0↓π`(0↓λ((↓λ@((↓λ@( ↓	( ↓	(_↓	@(⊂↓	`(⊂↓
(λ↓
@(λ↓
@(↓(↓'x↓@'p↓'p↓$P )I$RRcPX ∨	1h¬⊂∂D`
BHπ`&F!4>∪#⊂P ∨	a8¬P∂DpBHπ`'@A⊂P
αF@⊂∂αip⊂∧BB0X~C`P(@pP
αF`⊂∞αj⊂⊂αBB@X≠@C0P(@@PP
αG⊂
αj ⊂↓BB@X≤@C⊂P)@0P
αG ⊂αJ0⊂BB@P≡B`X*αb@X≡@BPP*αb@P∨B@X*B"@X∨@B0P*B"@P ⊂!⊂¬U@q ¬Pλ⊂⊂λαj`8	Bh∧⊂↓∧↓%8αE↓$"A`X,b@X ⊃  h¬⊗1 ¬⊂λ`⊂εαk⊂⊂	Bh∧8↓αa%H↓∧a$$A X-B⊂X ∩  @¬V@!¬P	 ⊂∧αK0⊂πBH∧`↓↓A5`↓β!4&@@PP.APP ∪@  ¬W  X¬P	p⊂↓BKP⊂¬BH¬↓A5p↓α!$)β+p⊂βBh¬_¬W` 8¬⊂
@X0@PX ∃↓&↓↓!$*αl⊂⊂↓Bh¬ ¬_  ⊂¬P
@P1@⊂P ∃↓6_ε⊂
@P1Bh¬ ¬Xa4*αl0P ∃↓F⊂¬P
0X@L⊂X ∃↓ ⊂↓_!$*α`0⊂0αh¬ ¬↓ &¬⊂
@Xα@KpX ∃↓ 8↓↔a4)B`p⊂/α@⊂⊂ ∀!0H↓↔!0⊂↓⊂
P¬@KPP↓@H∧x¬B`%`¬A$'αAP⊂.α@P⊂ ∪!0h↓⊗a00↓⊂	@Pπ@K Xβ@H∧X¬∧%P¬α $$Bb⊂⊂,Ba ⊂ ∩↓!_↓⊗! X↓⊂λpX	@KXεH∧0¬¬ %@¬β $"BbP⊂+Ba`⊂ ⊂a18↓∃A0x↓⊂λ0PJ`Pλ@H∧λ¬F %(¬D@$ αC0⊂*BB0⊂∨Bc0⊂*αb@⊂∨αCP⊂*αBP⊂≡BcP⊂)Bb`⊂≥Bcp⊂)αc⊂≥αD⊂)αC⊂⊂≤Bd⊂⊂(Bc ⊂≤αD0⊂(BC0⊂≠Bd0⊂(αc@⊂≠αDP⊂'BcP⊂~BD`⊂'BCp⊂→Bdp⊂'αd⊂→αE⊂⊂'αD⊂⊂_Be⊂⊂&Bd ⊂_αE0⊂&BD0⊂↔Be0⊂&αd@⊂↔αEP⊂%BdP⊂⊗BE`⊂%BDp⊂∃Bep⊂%⊂∪DP &o`⊂_O`⊂_Op⊂↔P⊂⊗P⊂⊗P⊂⊂∃P⊂⊂∃P ⊂∀P ⊂∪@P0⊂∪P@⊂∩P@⊂∩PP⊂⊃PP⊂⊃P`⊂⊂P`⊂∂@Pp⊂∂Q⊂∞Q⊂∞Q⊂⊂
Q⊂⊂
Q ⊂Q0⊂Q0⊂Q@⊂
Q@⊂
QP⊂	QP⊂λ@Q`⊂λQp⊂πQp⊂πR⊂εR⊂εR⊂⊂¬R⊂⊂∧@R ⊂∧R0⊂βR0⊂βR@⊂αR@⊂αRP⊂↓RP⊂@R` K@Rpλ"Qλx B#m3pa`80α!@ λ↓!  ⊂↓!  _↓! (↓! (↓ ` 8↓ @ @↓ @ H↓   P↓   X↓  h↓  h↓∨` x↓∨@!↓∨@!λ↓∨ !⊂↓∨ !_↓∨!(↓≡`!0↓≡`!8↓≡@!@↓≡@!H↓≡ !X↓≡ !X↓≡!h↓≥`!p↓≥`!x↓≥@"↓≥@"λ↓≥ "_↓≥ "_↓≥"(↓≤`"0↓∩Hλ %⊂⊂DXBλε_&¬A∧1SαP@ _iQ_∧⊂Dh	Bλε_'@p@λα¬⊂⊂α)`⊂βB↓pH∃Bp@'@@P@λα¬0⊂α*λαB↓pH⊗BP@(@0@πB%P⊂
α*⊂⊂Bα@↔@B H(@@⊂@πB%p⊂	α
 Hλαε⊂⊂λα* HπB& ⊂πB
08λαε0⊂πα*@(λαεP⊂εB
@(πB&P⊂εα*P_λαεp⊂¬α*P_πB&p⊂¬α
`⊂πBπ⊂⊂∧α*pλπα' ⊂βB
p⊂εα'0⊂βα+⊂¬BπP⊂αB⊂¬α'P⊂αα+⊂⊂∧Bπp⊂↓α+⊂⊂∧α(∧↓!¬P↓↓a∧ Bk0λβα(∧⊂∧V`  ∧Pλ0H.@0@ ⊃↓¬`↓A∀!BP⊂Bλ∧_∧W!4!B`H ⊂a∃p∧⊂λ@H.B(∧_¬↔!∧!B ⊂⊂.α(∧_∧@%`∧⊂λ0H↓@K0H ⊂a(↓⊗A$!α P⊂-α⊂⊂ ⊂!8↓⊗!⊂λ↓⊂λHβ@K⊂@↓@G`H∧@KH↓@G`@¬@K@α@G@H¬@JpHα@G@@ε@J`Hβ@G Hε@J`@∧@G⊂@π@JPH∧@G@λJP@¬@F`Hλ@J@H¬@F`@	@J@@ε@F@H	@J0HπF0@
@J Hπ@F H
@J @λ@F⊂@@J⊂Hλ@F@J⊂@	@E`H@JH	@E`@
@IpH
@E@H
@Ip@@E0@∞@I`H@E H∞@I`@@EH∂@IPH@E@⊂@IP@
@D`H⊂@I@H
@D`@⊃@I0H∞@D@H⊃@I0@∂@D0@∩@I$>∩Hπ`9@D`⊂:DP⊂:@D0⊂:@D0⊂;D⊂⊂;D⊂;@Cp⊂;@C`⊂<CP⊂<@C0⊂<@C0⊂=C⊂⊂=C⊂=@Bp⊂=@B`⊂>BP⊂>@B0⊂>@B ⊂?B⊂⊂?B⊂?@Ap⊂@AP⊂@AP⊂@@A0⊂@@A ⊂AA⊂⊂AA⊂A@@p⊂B@P⊂B@P⊂B@@0⊂B@@ ⊂C@⊂⊂C↓⊂p_D(T $_l6X(@↔@↓≥`⊂λ]`⊂⊂]@⊂ ] ⊂(] ⊂0]⊂8]⊂@\`⊂H\@⊂X\@⊂`\ ⊂h\ ⊂p\⊂x\⊃[`⊃⊂[@⊃_[@⊃ [ ⊃([ ⊃0[⊃8[⊃@Z`⊃PZ@⊃XZ@⊃`Z ⊃hRHε_%D d%Rb8 ∩I@xβ⊂	$`π↓h∧P&@ `0ε↓Cpλ	↓iPλαAA@0⊂" 0' 00εAD⊂λλ↓Ipλ↓↓A@0⊃@!p0'@ ⊂0ε↓d0λπ↓J8ε↓DPλε↓j0ε↓dPλε↓J⊂(ε↓Dpλ¬↓j⊂ ε↓Eλ¬↓J ⊂εAE⊂λ∧↓J0λε↓E0λβAJ0λ¬Ae0λβ↓J@λ¬↓EPλα↓j@λ∧AE`λα↓JPλ∧↓Epλ↓↓j`λβ↓Fλ↓↓J`λβ↓F⊂8+@ @0→AJpλ↓Af 0,  0→↓kλAF00,Af 0,AF00,↓f 0@+0→↓` λ+Af 0↓@*p0→↓`@λ+↓@⊂λ_A@Pλ+↓@⊂λ_↓@pλ*A@0λ↔AAλ*↓`0λ↔↓A⊂λ*↓@Pλ⊗↓a λ)A`Pλ⊗↓A0λ)A@pλ∃↓a@λ)↓A⊂λ∀AAPλ)↓A⊂λ∀↓Apλ(AA0λ∪ABλ(↓a0λ∪↓B⊂λ(↓APλ∩↓b λ'AA`λ∩↓B0λ'AApλ⊃↓b@λ'↓B⊂λ⊂ABPλ&Ab⊂λ⊂↓Bpλ&AB0λ∂ACλ&↓b0λ∂↓C⊂λ&↓BPλ∞↓c λ%AB`λ∞↓C0λ%ABpλ
↓CPλ%⊂fHG ⊗PG⊗PF`⊗XF@⊗`F⊗`E`⊗hE@⊗hE ⊗pE⊗pD`⊗xD@↔D↔C`↔λC@↔λC ↔⊂C↔⊂B`↔_B ↔ B↔ A`↔(A@↔(A ↔0A↔8@@↔8@ ↔@↓≡∀("∩($⊂#M#pλ4Mλ@,pλ↓,`λα,`λα@,Pλβ,Pλβ@,@λ∧,0λ¬,0λ¬, λε, λε@,⊂λπ,⊂λπ@,λλ+pλ	+pλ	@)$!∩a0 _Ra  →∪⊂ ααA CT`@`@@α¬ ⊂`α∪ ⊂⊂α↓`Q0B@DxααA@B DpααAHBDx↓BAPA@Tx↓αAXA@EA`Q`AUA`AhAEλA Qp@@E⊂AB@ E⊂@`BλαT`⊂⊂αλ U_@ B⊂α∃RλαUB⊂αT`Rλα ∃_αλ@@⊂T@Rλα`∃⊂α ⊃xαA∃λα@⊃xα↓ ∃α@`⊃hα↓`∃α↓⊃hαα∀xα↓@⊃Xαα ∀xα↓`⊃HαB@∀pαα⊃Hαα`∀hαB ⊃8αC∀hαα@⊃8αβ ∀`αB`⊃(αβ`∀`αβ ⊃ α∧∀Xαβ@⊃_α∧ ∀Xαβ`⊃λαD@∀P∨↔`⊃_W`⊃⊂X⊃X ⊂xX ⊂pX@⊂hX@⊂`X`⊂PX`⊂PY⊂@Y ⊂8Y ⊂0Y@⊂(Y@⊂ Y`⊂⊂Z⊂λZ&HQ(DX_εα 
@+`λ@+`λ@+Pλ↓@+Pλα+@λα@+0λβ@+0λβ@+ λ∧@+ λ∧@+⊂λ¬@+λε@)#%	2p&)B`&@ P@π  0&@ @@λ ⊂0' 0@λ↓ipλBα 0'B" 0(αα ((↓b 0(AB⊂0(↓B 8(↓B⊂0@)p0	↓ 0λ'A" 0α)`8λA Pλ&A@⊂λλ↓@`λ&A@ λπ↓@pλ&↓@@λεAAλ&↓@@λε↓A⊂λ%A@`λ¬A!0λ%A pλ¬↓A@λ%
kλε@+⊂λ¬@+ λ¬+ λ∧@+0λβ@+0λβ@+@λα@+@λα@+Pλ↓@+`λ@+`λ@+pλ"}↔F F↔O≤u ⎇M` ⎇M␈␈x␈␈`R␈␈x␈i@C>TλNβId_α_zP@⊃H`p`∧C>d_|@↓7λi↓}⎇HMPα@9_α␈@{⊃70∧%,⊂π</0#'8∪H@⊃<↑d8>@[@qα8λ⎇I¬p↓	+λ¬$_{∩'`↓7∞⊂∀O0%J`λ⎇/`↔←⊂c__ow{⎇x